A Stochastic Broadcast Pi-Calculus

A Stochastic Broadcast Pi-Calculus

In this paper we propose a stochastic broadcast π-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since...

A Stochastic Broadcast π-Calculus

In this paper we propose a stochastic broadcast π-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates. We also take immediate transitions into account which is useful to model behaviors with no impact on the temporal properties of a system. Since...

Stochastic Pi-calculus Revisited

We develop a version of stochastic Pi-calculus endowed with a structural operational semantics expressed in terms of measure theory. The paper relies on two observations: (i) the structural congruence organizes a measurable space of processes and (ii) a well behaved SOS associates to each process, in a specified rate environment, a behaviour defined by a set of measures over the measurable spac...

A Stochastic Pi Calculus for Concurrent Objects

Coupled Chemical Reactions in Stochastic Pi-calculus

This document describes how a number of spatially homogeneous chemical systems can be modeled in the stochastic pi-calculus and simulated using the Stochastic Pi Machine. Each of the systems presented here was previously defined as a set of reaction equations, which were simulated using the Gillespie algorithm. For further details on the models and the references to the original literature, see...